ideal generated by a set